Abstract Type Constructors for Java-like Languages
نویسندگان
چکیده
Type Constructors for Java-like Languages Philippe Altherr and Vincent Cremet
منابع مشابه
Is Fortran Still Relevant? Comparing Fortran with Java and C++
This paper presents a comparative study to evaluate and compare Fortran with the two most popular programming languages Java and C++. Fortran has gone through major and minor extensions in the years 2003 and 2008. (1) How much have these extensions made Fortran comparable to Java and C++? (2) What are the differences and similarities, in supporting features like: Templates, object constructors ...
متن کاملA General Framework for Embedding Domain Specific Languages into Object-Oriented Programming Languages
In this paper, we introduce a general framework of language embedding in OO host languages. Unlike other approaches, which embed object language programs as nested calls to functions or data constructors, our framework embeds object language programs as a chain of method invocations. Our framework allows embedding a wider range of object language grammars into an OO host language, while still a...
متن کاملGrace's Inheritance
This article is an apologia for the design of inheritance in the Grace educational programming language: it explains how the design of Grace’s inheritance draws from inheritance mechanisms in predecessor languages, and defends that design as the best of the available alternatives. For simplicity, Grace objects are generated from object constructors, like those of Emerald, Lua, and Javascript; f...
متن کاملPhantom Types
Phantom types are data types with type constraints associated with different cases. Examples of phantom types include typed type representations and typed higher-order abstract syntax trees. These types can be used to support typed generic functions, dynamic typing, and staged compilation in higher-order, statically typed languages such as Haskell or Standard ML. In our system, type constraints...
متن کاملSubtyping for Object Type Constructors
Object type constructors have been introduced as an approach to adding container object types to a language with type inference. Useful subtyping for object type constructors requires a flexible subtype rule for type constructors that is not simply the pointwise extension of subtyping for types. At the same time, subtyping should avoid requiring run-time type checks, as in the Java subtype rule...
متن کامل